Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings: 1690 (Lecture Notes in Computer Science)
by Laurent Thery,Yves Bertot,Andre Hirschowitz,Christine Paulin,Gilles Dowek
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings: 1690 (Lecture Notes in Computer Science)
by Laurent Thery,Yves Bertot,Andre Hirschowitz,Christine Paulin,Gilles Dowek
ISBN 13: 9783540664635
Format: Paperback
(372 pages)
Publisher: Springer
Published: 01 Sep 1999
Save for later
New : $83.74
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
